Non-Classical - PDFSEARCH.IO - Document Search Engine

Non-Classical
Results: 915

#	Item
121	Connection-based Theorem Proving in Classical and Non-classical Logics Christoph Kreitz Department of Computer Science, Cornell-University Ithaca, NY, U.S.A. Add to Reading List Source URL: www.cs.uni-potsdam.de Language: English - Date: 2008-03-22 23:30:49
122	Local Actions for a Curry-style Operational Semantics ∗ Gordon Stewart Andrew W. Appel Princeton University, Princeton, NJ, USA Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2010-11-22 11:49:24 Logic Theoretical computer science Logic in computer science Mathematical logic Programming language semantics Philosophical logic Non-classical logic Operational semantics Semantics Kripke semantics Modal logic Axiomatic semantics
123	Classical non-Markovian Boltzmann equation Moorad Alexanian Citation: Journal of Mathematical Physics 55, ); doi: View online: http://dx.doi.orgView Table of Contents: htt Add to Reading List Source URL: www.uncw.edu Language: English - Date: 2014-08-12 09:23:56
124	Microsoft Word - Zwiker-summary-04.rtf Add to Reading List Source URL: www.kutter-fonds.ethz.ch Language: English - Date: 2010-05-16 10:11:36 Artificial intelligence Fuzzy logic Cybernetics Non-classical logic Fuzzy control system Machine learning Multi-agent system Intelligent agent
125	Premises as Resources Johannes C. Flieger Scheme UK April 2003 Abstract Premises as resources; Weakening and Contraction; central notions Add to Reading List Source URL: schematics.sourceforge.net Language: English - Date: 2005-05-20 05:14:15 Logic Mathematical logic Proof theory Abstraction Non-classical logic Sequent NC Linear logic Constructible universe CurryHoward correspondence Natural deduction
126	Revisiting default description logics – and their role in aligning ontologies Kunal Sengupta1 , Pascal Hitzler1 , and Krzysztof Janowicz2 1 Wright State University, Dayton OH 45435, USA Add to Reading List Source URL: geog.ucsb.edu Language: English - Date: 2015-06-12 14:24:23 Logic Abstraction Philosophy Non-classical logic Model theory Reasoning Knowledge representation Logic programming Default logic Description logic First-order logic Web Ontology Language
127	OVERCONVERGENT GENERALISED EIGENFORMS OF WEIGHT ONE AND CLASS FIELDS OF REAL QUADRATIC FIELDS HENRI DARMON, ALAN LAUDER AND VICTOR ROTGER Abstract. This article examines the Fourier expansions of certain non-classical p- Add to Reading List Source URL: people.maths.ox.ac.uk Language: English - Date: 2015-06-04 10:30:19
128	Non-classical Correlations in the Quantum Search Algorithm Shantanav Chakraborty∗ and Satyabrata Adhikari† arXiv:1302.6005v1 [quant-ph] 25 FebIndian Institute of Technology Jodhpur, Jodhpur, India Add to Reading List Source URL: arxiv.org Language: English - Date: 2013-02-25 20:14:08
129	Premises as Resources Johannes C. Flieger Scheme UK April 2003 Abstract Premises as resources; Weakening and Contraction; central notions Add to Reading List Source URL: schematics.sourceforge.net Language: English - Date: 2005-05-20 05:14:15 Logic Mathematical logic Proof theory Abstraction Non-classical logic Sequent NC Linear logic Constructible universe CurryHoward correspondence Natural deduction
130	Completeness Results for Memory Logics Carlos Arecesa , Santiago Figueirab,c , Sergio Merab,1 a INRIA Nancy Grand Est, France de Computaci´ Add to Reading List Source URL: www.glyc.dc.uba.ar Language: English - Date: 2012-08-27 11:06:28 Philosophical logic Metalogic Non-classical logic Deduction Model theory Hybrid logic Entailment FO Temporal logic Logic Mathematical logic Modal logic

UPDATE